61![Verification of Security Protocols V´eronique Cortier LORIA, CNRS, Nancy, France⋆ 1 Verification of Security Protocols V´eronique Cortier LORIA, CNRS, Nancy, France⋆ 1](https://www.pdfsearch.io/img/1a86926a6882d9ae8e3af88644d207bb.jpg) | Add to Reading ListSource URL: www.loria.frLanguage: English - Date: 2009-01-05 07:51:01
|
---|
62![Combinations of theories for decidable fragments of first-order logic? Pascal Fontaine Universit´e de Nancy, Loria Nancy, France Combinations of theories for decidable fragments of first-order logic? Pascal Fontaine Universit´e de Nancy, Loria Nancy, France](https://www.pdfsearch.io/img/8f67719bf56b521328e5491bc73f5790.jpg) | Add to Reading ListSource URL: www.montefiore.ulg.ac.beLanguage: English - Date: 2009-07-01 12:27:09
|
---|
63![Attacking and fixing Helios: An analysis of ballot secrecy∗ V´eronique Cortier and Ben Smyth Loria, CNRS & INRIA Nancy Grand Est, France June 1, 2011 Attacking and fixing Helios: An analysis of ballot secrecy∗ V´eronique Cortier and Ben Smyth Loria, CNRS & INRIA Nancy Grand Est, France June 1, 2011](https://www.pdfsearch.io/img/4136b1ac6a7f6fadf01e238498157cb0.jpg) | Add to Reading ListSource URL: www.lsv.ens-cachan.frLanguage: English - Date: 2011-08-02 11:02:31
|
---|
64![Attacking and fixing Helios: An analysis of ballot secrecy V´eronique Cortier1 and Ben Smyth2 1 CNRS, Loria, UMR 7503 FVandœuvre-l´es-Nancy, France Attacking and fixing Helios: An analysis of ballot secrecy V´eronique Cortier1 and Ben Smyth2 1 CNRS, Loria, UMR 7503 FVandœuvre-l´es-Nancy, France](https://www.pdfsearch.io/img/f58aedc2db58047c242edc0f5b5582c9.jpg) | Add to Reading ListSource URL: bensmyth.comLanguage: English - Date: 2013-09-25 07:23:58
|
---|
65![Towards certification of TLA+ proof obligations with SMT solvers Stephan Merz and Hern´an Vanzetto∗ INRIA Nancy Grand-Est & LORIA Nancy, France Abstract Towards certification of TLA+ proof obligations with SMT solvers Stephan Merz and Hern´an Vanzetto∗ INRIA Nancy Grand-Est & LORIA Nancy, France Abstract](https://www.pdfsearch.io/img/8a44b043b52cb12c40703d0f0eb465dc.jpg) | Add to Reading ListSource URL: pxtp2011.loria.frLanguage: English - Date: 2011-08-12 05:51:25
|
---|
66![Combinations of theories and the Bernays-Sch¨ onfinkel-Ramsey class Pascal Fontaine LORIA, Nancy University, France Combinations of theories and the Bernays-Sch¨ onfinkel-Ramsey class Pascal Fontaine LORIA, Nancy University, France](https://www.pdfsearch.io/img/a44657c053b38b31749676b2b3721909.jpg) | Add to Reading ListSource URL: www.montefiore.ulg.ac.beLanguage: English - Date: 2007-07-30 05:54:40
|
---|
67![Building, Combining, and Integrating Decision ProceduresSilvio Ranise http://www.loria.fr/~ranise LORIA & INRIA-Lorraine (Nancy, France) Building, Combining, and Integrating Decision ProceduresSilvio Ranise http://www.loria.fr/~ranise LORIA & INRIA-Lorraine (Nancy, France)](https://www.pdfsearch.io/img/0a226d22e2b523315ff010a06a785410.jpg) | Add to Reading ListSource URL: www.loria.frLanguage: English - Date: 2005-09-07 07:51:31
|
---|
68![Modeling and Verifying Ad Hoc Routing Protocols † Mathilde Arnaud∗† , V´eronique Cortier∗ and St´ephanie Delaune† ∗ LORIA, CNRS & INRIA Nancy Grand Est, France Modeling and Verifying Ad Hoc Routing Protocols † Mathilde Arnaud∗† , V´eronique Cortier∗ and St´ephanie Delaune† ∗ LORIA, CNRS & INRIA Nancy Grand Est, France](https://www.pdfsearch.io/img/87560658b4df75cc77a27a7f99cc65bc.jpg) | Add to Reading ListSource URL: www.lsv.ens-cachan.frLanguage: English - Date: 2011-08-02 11:02:30
|
---|
69![Deciding knowledge in security protocols for monoidal equational theories ⋆ V´eronique Cortier and St´ephanie Delaune LORIA, CNRS & INRIA project Cassis, Nancy, France Abstract. In formal approaches, messages sent o Deciding knowledge in security protocols for monoidal equational theories ⋆ V´eronique Cortier and St´ephanie Delaune LORIA, CNRS & INRIA project Cassis, Nancy, France Abstract. In formal approaches, messages sent o](https://www.pdfsearch.io/img/24204ede3103cac7d77eda7a11537cf7.jpg) | Add to Reading ListSource URL: www.loria.frLanguage: English - Date: 2007-06-27 05:43:57
|
---|
70![Combinations of theories for decidable fragments of first-order logic? Pascal Fontaine Universit´e de Nancy, Loria Nancy, France Combinations of theories for decidable fragments of first-order logic? Pascal Fontaine Universit´e de Nancy, Loria Nancy, France](https://www.pdfsearch.io/img/3ad944f50da3a70c491aa254c7958de5.jpg) | Add to Reading ListSource URL: www.montefiore.ulg.ac.beLanguage: English - Date: 2009-07-01 12:27:09
|
---|